Ensemble mesurable pour une mesure extérieure
\(A\)
$$\forall E'\subset E,\quad \mu^*(E')=\mu^*(A\cap E')+\mu^*(A^C\cap E)$$
- on a toujours une inégalité via la \(\sigma\)-sous-additivité
- on note \(\mathcal M(\mu^*)\) l'ensemble des \(\mu^*\)-mesurables
- c'est une tribu
- la restriction de \(\mu^*\) à cet ensemble est une mesure
Mesure extérieure
